Counting Quantifiers, Successor Relations, and Logarithmic Space
نویسنده
چکیده
منابع مشابه
Galois correspondence for counting quantifiers
We introduce a new type of closure operator on the set of relations, max-implementation, and its weaker analog max-quantification. Then we show that approximation preserving reductions between counting constraint satisfaction problems (#CSPs) are preserved by these two types of closure operators. Together with some previous results this means that the approximation complexity of counting CSPs i...
متن کاملCounting quantifiers, subset surjective functions, and counting CSPs
We introduce a new type of closure operator on the set of relations, max-implementation, and its weaker analog max-quantification. Then we show that approximation reductions between counting constraint satisfaction problems (CSPs) are preserved by these two types of closure operators. Together with some previous results this means that the approximation complexity of counting CSPs is determined...
متن کاملTesting Graph Isomorphism in Parallel by Playing a Game
Our starting point is the observation that if graphs in a class C have low descriptive complexity, then the isomorphism problem for C is solvable by a fast parallel algorithm. More precisely, we prove that if every graph in C is definable in a finite-variable first order logic with counting quantifiers within logarithmic quantifier depth, then Graph Isomorphism for C is in TC1 ⊆ NC2. If no coun...
متن کاملTwo-variable Logic with Counting and a Linear Order
We study the finite satisfiability problem for the two-variable fragment of first-order logic extended with counting quantifiers (C) and interpreted over linearly ordered structures. We show that the problem is undecidable in the case of two linear orders (in the presence of two other binary symbols). In the case of one linear order it is NExpTime-complete, even in the presence of the successor...
متن کاملCapturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs
We show that the class of chordal claw-free graphs admits LREC=-definable canonization. LREC= is a logic that extends first-order logic with counting by an operator that allows it to formalize a limited form of recursion. This operator can be evaluated in logarithmic space. It follows that there exists a logarithmic-space canonization algorithm, and therefore a logarithmic-space isomorphism tes...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Comput. Syst. Sci.
دوره 54 شماره
صفحات -
تاریخ انتشار 1995